NSF CyberTrust Center Proposal Center for Internet Epidemiology and Defenses
نویسندگان
چکیده
منابع مشابه
Users plan optimization for participatory urban texture documentation
We envision participatory texture documentation (PTD) as a process in which a group of users (dedicated individuals and/or general public) with cameraequipped mobile phones participate in collaborative collection of urban texture information. PTD enables inexpensive, scalable and high quality urban texture documentation. We propose to implement PTD in two steps. At the first step, termed viewpo...
متن کاملLogical Specification of the GLBA and HIPAA Privacy Laws (CMU-CyLab-10-007)
Despite the wide array of frameworks proposed for the formal specification and analysis of privacy laws, there has been comparatively little work on expressing large fragments of actual privacy laws in these frameworks. We attempt to bridge this gap by presenting what we believe to be the most complete logical formalizations of the Gramm-Leach-Bliley Act (GLBA) and the Health Insurance Portabil...
متن کاملTrust in the Internet: The Social Dynamics of an Experience Technology
Peltu and several anonymous reviewers for their comments. Summary Trust in the Internet and related information and communication technologies (ICTs)— 'cybertrust'—could be critical to the successful development of e-services ranging from electronic public service delivery to e-commerce. This paper is anchored in a study conducted in the summer of 2003 that explored trust in cyberspace. This Ox...
متن کاملFormal Verification of Differential Privacy for Interactive Systems
Differential privacy is a promising approach to privacy preserving data analysis with a welldeveloped theory for functions. Despite recent work on implementing systems that aim to provide differential privacy, the problem of formally verifying that these systems have differential privacy has not been adequately addressed. This paper presents the first results towards automated verification of s...
متن کاملA Center for Correct , Usable , Reliable , Auditable , and Transparent Elections ( ACCURATE ) A Research Proposal for an NSF
Aviel D. Rubin (ACCURATE Director), Johns Hopkins University Dan S. Wallach (ACCURATE Associate Director), Rice University Dan Boneh, Stanford University Michael D. Byrne, Rice University Drew Dean, SRI International David L. Dill, Stanford University Douglas W. Jones, University of Iowa Peter G. Neumann, SRI International Deirdre Mulligan, University of California, Berkeley David A. Wagner, Un...
متن کامل